Knihy od autora Renate A. Schmidt

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   Renate A. Schmidt, Cláudia Nalon | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2126 Kč

   Koupit
2. 

   Automated Deduction - CADE-22

   Renate A. Schmidt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Relations and Kleene Algebra in Computer Science

   Renate A. Schmidt | Springer, Berlin, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit

Knihy vám rádi za malý poplatek dárkově zabalíme. Zjistěte více